Theoretical philosophy - PDFSEARCH.IO - Document Search Engine

Theoretical philosophy
Results: 555

#	Item
121	The Semantics of Version Control The semantics of version control 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2014-11-07 03:44:28 Social philosophy Theoretical computer science Logic in computer science Logic Programming language semantics Applied mathematics Grammar Meaning Semantics
122	16 READING AND WRITING ABOUT GENERALIZATIONS: THEORETICAL DISCIPLINES S Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2010-10-17 13:30:37 Philosophy of science Social philosophy Scientific method Belief Normative ethics Ethics Utilitarianism Theory Reason Science Philosophy Ethology
123	A Critique of General Relativity Add to Reading List Source URL: arxiv.org Language: English - Date: 2007-11-07 14:46:28 Relativity Philosophy of physics Theoretical physics Gravitation General relativity Dark matter Big Bang Special relativity Mass Physics Physical cosmology Celestial mechanics
124	Microsoft Word - Ontology A Theoretical Basis Add to Reading List Source URL: www.solaustralia.org Language: English - Date: 2010-04-21 03:40:33 Metaphysics Philosophical movements 20th-century philosophy Continental philosophy Social philosophy Humberto Maturana Reality Phenomenology Integral Theory Philosophy Science Ontology
125	A Formalized Proof of Strong Normalization for Guarded Recursive Types Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Sweden andreas. Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
126	Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers Add to Reading List Source URL: typessummerschool07.cs.unibo.it Language: English - Date: 2007-08-20 10:27:22 Lambda calculus Type theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Simply typed lambda calculus System F Type system Theoretical computer science Computer science Mathematical logic
127	The Semantics of Version Control The semantics of version control 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Social philosophy Theoretical computer science Logic in computer science Logic Programming language semantics Applied mathematics Grammar Meaning Semantics
128	LINGUISTICS, HISTORICISM AND THE HUMANITIES Jan Koster 1. Introduction From the point of view of a theoretical linguist, the period that covered most of Arthur van Essen’s academic career, the second half of the 20th c Add to Reading List Source URL: www.let.rug.nl Language: English - Date: 2004-08-08 11:40:16 Thought Belief Evolution Human nature On the Origin of Species Social Darwinism Historicism Natural selection The Descent of Man and Selection in Relation to Sex Philosophy Science Knowledge
129	PDF Document Add to Reading List Source URL: www.soas.ac.uk Language: English - Date: 2014-02-21 12:26:33 Association of Commonwealth Universities Knowledge Group School of Oriental and African Studies Language documentation Doctor of Philosophy Historical linguistics Grammar Theoretical linguistics Linguistics Science Academia
130	From Distributional Semantics to Distributional Pragmatics? Matthew Purver Mehrnoosh Sadrzadeh Cognitive Science Research Group Theoretical Computer Science Research Group School of Electronic Engineering and Computer Sc Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-02-28 14:34:12 Science Principle of compositionality Distributional hypothesis Language Meaning Lexical semantics Dialogue Generative lexicon Semantics Linguistics Analytic philosophy

UPDATE